a := 1 >= 0